翻訳と辞書 Words near each other ・ Acleris bergmanniana ・ Acleris bicolor ・ Ackerman Ridge ・ Ackerman syndrome ・ Ackerman, California ・ Ackerman, Mississippi ・ Ackerman, West Virginia ・ Ackerman-Boyd House ・ Ackerman-Dater House ・ Ackerman-Dewsnap House ・ Ackerman-Smith House ・ Ackermann ・ Ackermann (surname) ・ Ackermann function ・ Ackermann ordinal ・ Ackermann set theory ・ Ackermann steering geometry ・ Ackermann's Repository ・ Ackermann–Teubner Memorial Award ・ Ackermans ・ Ackermans & van Haaren ・ Ackermans (disambiguation) ・ Ackermans Mills, New Jersey ・ Ackermanville, Pennsylvania ・ Ackers ・ Ackersdijk en Vrouwenregt ・ Ackerson ・ Ackerson Creek ・ Ackerson Mead Clark House ・ Ackerson Mountain Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Ackermann set theory ： ウィキペディア英語版 Ackermann set theory Ackermann set theory is a version of axiomatic set theory proposed by Wilhelm Ackermann in 1956. == The language== Ackermann set theory is formulated in first-order logic. The language $L\_A$ consists of one binary relation $\backslash in$ and one constant $V$ (Ackermann used a predicate $M$ instead). We will write $x\; \backslash in\; y$ for $\backslash in(x,y)$. The intended interpretation of $x\; \backslash in\; y$ is that the object $x$ is in the class $y$. The intended interpretation of $V$ is the class of all sets. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Ackermann set theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.